Showing 1 - 6 of 6 Results
1.
Basic Simple Type Theory by Hindley, J. Roger ISBN: 9780521054225 List Price: $39.99
2.
Lambda-Calculus and Combinators: An Introduction by Hindley, J. Roger, Seldin, ... ISBN: 9780521898850 List Price: $68.00
3.
Basic Simple Type Theory by Hindley, J. Roger, van Rijs... ISBN: 9780521465182 List Price: $105.00
4.
Introduction to Combinatory Logic by Hindley, J. Roger, Lercher,... ISBN: 9780608134079 List Price: $49.60
5.
Typed Lambda Calculi and Applications by Groote, Philippe de, Hindle... ISBN: 9783662163900 List Price: $24.99
6.
Lambda-calculus and Combinators: an Introduction by Hindley, J. Roger, Seldin, ... ISBN: 9780511410963